Type theory
[计] 类型论, 类型理论
🧩 词语组成解析
type
[taɪp]
n. 类型;铅字;（印刷或打印的）文字;于…类型的;
vt.& vi. 打字;
vt. [医学]测定（血型）;按类型把…归类;成为…的典型;[印刷]浇铸（铅字等）;
🗣️ 情景例句
According to the newspaper, Sally has quit her job.
报上说莎里辞职不干了。
The wise man knows he knows nothing,the fool thinks the knows all.
聪明人自认一无所知，愚笨人自负无所不晓。
She loves her work because she loves books.
她热爱自己的工作，因为她喜爱图书。